Solving Design Problems in OO-Software Engineering with Relations and RelView

نویسندگان

  • Rudolf Berghammer
  • Alexander Fronk
چکیده

We demonstrate how relational algebra and its mechanization through the software system RelView can be used for solving practical problems in the design of objectoriented software. The examples we present range from the search of improper code pieces to the detection of code parts indicating some design pattern structure.

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Considering Design Tasks in OO-Software Engineering using Relations and Relation-based Tools

We demonstrate how relational algebra and its mechanization through the object-oriented Java-library Kure, which is based on the software system RelView, can be used to approach practical problems in the design of object-oriented software. The examples we present range from the search of improper code pieces and 3D graphical software design through to the detection of code parts that show desig...

متن کامل

Software Engineering Paradigm Independent Design Problems, GoF 23 Design Patterns, and Aspect Design

The aim of the paper is to investigate applicability of object-oriented software design patterns in the context of aspect-oriented design. The paper analyses which of the GoF 23 patterns have a meaning in this context and how they are affected by it. The main assumption is that there exist design patterns that solve software engineering paradigm independent design problems and that such pattern...

متن کامل

An Object Oriented Model of the Writing Process

ABSTRACT: The writing process has been described in several ways, where the central parts are planning, text generation and revision (Hayes, 1996) in some way (Carey and Flower, 1989). Solving problems can be viewed as representing the problem space and finding a path in that space (Hayes and Nash, 1996). That representation can be done with object orientation (OO). OO is a paradigm in software...

متن کامل

Speci cation and Veri cation of Object-Oriented Programs

There is an increasing demand for innovative software that satisfy stringent quality and reliability requirements imposed by users. In recent years Object-Oriented (OO) paradigm is gaining acceptance for developing complex software. The current research so far in OO software engineering is focussed on problem analysis, software design and implementation techniques resulting in a potpourri of re...

متن کامل

The Software Architecture Renaissance

There is a revival of interest in the software product after several years of intense focus by the software engineering community on the software process. Similarly, within the software design community, there is a revival of interest in higher levels of design (e.g. software architecture) after several years of intense focus on object-oriented (OO) design methodologies (e.g. identifying object...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2003